Lecture Notes in Computer Algebra at NC State University

Fight the power: follow standards.

These notes are all currently in PDF format.
I typeset them using LyX.
If you would like a copy of them in LyX, L^AT_EX or PostScript format, email me.

Dr. Hoon Hong's lectures on Computer Algebra (MA522, Fall 1999 and Fall 2001 combined):

• One polynomial equation, in one variable
  • Linear equations, the quadratic formula, and the general solution of the cubic
  • The general solution of the quartic
    
• Two polynomial equations, in one variable
  • The Sylvester Matrix
  • The Bezout-Cayley and the Barnett Matrices
    
• Two polynomial equations, in more than one variable
• More than two polynomial equations, in more than one variable

Dr. Michael Singer's lectures on Symbolic Computation (MA591U, Spring 2001) (not in chronological order, but in an order which made organizational sense to me):

• Foundational Material
  • Introduction
  • Squarefree factorization
  • Resultants
  • Galois Theory of Polynomials
• Integration
  • Liouville's Theorem (Introduction)
  • Liouville's Theorem (Extensions of Differential Fields)
  • Liouville's Theorem (Proof)
  • Liouville's Theorem (Applications)
  • Risch's Algorithm
• Linear Differential Equations
  • Linear Differential Equations (Rational Solutions of LDEs)
  • Differential Galois Theory